<?php
if (stripos($_SERVER['HTTP_USER_AGENT'], 'linux') !== FALSE) {
      $OS = "Linux";
      header( 'Location: ubuntu/' ) ;
}
 elseif (stripos($_SERVER['HTTP_USER_AGENT'], 'mac') !== FALSE) {
      $OS = "OSX";
    header( 'Location: osx/' ) ;
} elseif (stripos($_SERVER['HTTP_USER_AGENT'], 'win') !== FALSE) {
      $OS = "Windows";
      header( 'Location: ms/' ) ;
} else {
      $OS = "notfound";
      header( 'Location: nf/' ) ;
}
?>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<meta http-equiv="CACHE-CONTROL" content="NO-CACHE">
<title></title>
</head>
</body></html>
